#ifndef __CSRA_H_
#define __CSRA_H_ 
#include <deployment.h>
#include <po_hi_messages.h>
#include <types.h>
void ping_spg_stub 
      (__po_hi_entity_t from,
      __po_hi_entity_t to,
      __po_hi_msg_t* message,
      simple_type data_sink);

#endif
